Mind & Language Vol. 5 No. 3 Autumn 1990 ISSNBlackwell

Source URL: www.timcrane.com

• Grammar
• Cognition
• Logical syntax
• Metalogic
• Language of thought hypothesis
• Semantics
• Intentionality
• Functionalism
• Syntax
• Philosophy of mind
• Linguistics
• Cognitive science

Communicating and trusting proofs: The case for foundational proof certificates Dale Miller ´ INRIA-Saclay & LIX/Ecole Polytechnique, Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Mathematical logic
• Formal methods
• Automated theorem proving
• Logical syntax
• Formal languages
• Mathematical proof
• Formal proof
• Theorem
• Proof
• Logic
• Mathematics
• Proof theory

Discussion Paper NoEVOLUTION OF COMPETITIVE EQUILIBRIUM WITH ENDOGENOUS PRODUCT DIFFERENTIATION

Source URL: www.iser.osaka-u.ac.jp

• Entailment
• Logical syntax
• Metalogic
• Philosophical logic
• Stochastically stable equilibrium
• Logic
• Evolutionary game theory
• Game theory

REDO — Redesigning Logical Syntax • What is it about ? Proofs are everywhere! — We are trying to improve them. • What is the problem ? Remove bureaucracy but keep the computational content.

Source URL: www.lix.polytechnique.fr

Twelf Carsten Sch¨ urmann ∗ Department of Computer Science Yale University

Source URL: www.itu.dk

• Type theory
• Logic in computer science
• Dependently typed programming
• Formal methods
• Lambda calculus
• Twelf
• Higher-order abstract syntax
• Logical framework
• Frank Pfenning
• Theoretical computer science
• Mathematics
• Programming language theory

TERMINATION FOR HYBRID TABLEAUS THOMAS BOLANDER AND PATRICK BLACKBURN Abstract. This article extends and improves work on tableau-based decision methods for hybrid logic by Bolander and Bra¨ uner [5]. Their paper gives

Source URL: www.imm.dtu.dk

• Formal languages
• Logical syntax
• Philosophical logic
• Method of analytic tableaux
• Interpretation
• Entailment
• Modal logic
• Model theory
• Symbol
• Logic
• Metalogic
• Propositional calculus

An Extension of the LATEX theorem environment∗ Frank Mittelbach April 12, 2015 This file is maintained by the LATEX Project team. Bug reports can be opened (category tools) at http://latex-project.org/bugs.html.

Source URL: ctan.sciserv.eu

• Logical syntax
• Philosophical logic
• Philosophy of language
• Theorems
• LaTeX
• TeX
• Logic
• Mathematics
• Logical consequence

Knowledge and Tree-Edits in Learnable Entailment Proofs Asher Stern1 , Amnon Lotan3 , Shachar Mirkin1 , Eyal Shnarch1 , Lili Kotlerman1 , Jonathan Berant2 , and Ido Dagan1 1 Computer Science Department, Bar-Ilan Univers

Source URL: www-nlp.stanford.edu

• Propositional calculus
• Philosophical logic
• Formal languages
• Textual entailment
• Entailment
• WordNet
• Formal proof
• Inference
• Abductive reasoning
• Logic
• Logical consequence
• Logical syntax

Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands.
Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS†

Source URL: web.ing.puc.cl

• Logical syntax
• Metalogic
• Model theory
• Formal languages
• First-order logic
• Situation calculus
• Frame problem
• Function
• Entailment
• Logic
• Mathematics
• Logic programming

The Philosophical Review, Vol. 105, No.3 (JulyExpressivism and Irrationality Mark van Roojen Noncognitive analyses of evaluative discourse characterize moral discourse as primarily functioning to express attitude

Source URL: www.mvr1.com

• Ethology
• Logical consequence
• Logical syntax
• Propositional calculus
• Belief
• Expressivism
• Quasi-realism
• Entailment
• Projectivism
• Logic
• Philosophy
• Meta-ethics